Haskell-type language, implements ideas described in a 'A Theory of Overloading'. Compiles Chameleon to (plain) Haskell; can mix Haskell and Chameleon overloading. Descriptions, documents, downloads.
Dialect with instance of data fields (a generalization of arrays), useful for rapid prototyping of parallel algorithms, and parallel high-level system specification.
A Haskell extension for parallel programming built on top of the Glasgow Haskell compiler (GHC). Parallelism is identified using annotations (generally evaluation strategies), that are defined using only two extra primitives: par and seq.
Object-oriented Haskell extension, using a preprocessor, supports a form of inheritance via extended class and instance declarations. Descriptions, documents, source download, links.
Small interpreter for language based on Haskell report 1.2; experimental, more so for type classes. Haskell adopted some ideas of Gofer, but Gofer type class system is more flexible. Runs on DOS, Linux, Macintosh, Unix. Hugs predecessor.
Polytypic programming language; source files for compiler written in Haskell that compiles PolyP-code to Haskell; library of polytypic functions written in PolyP, some examples, documents, downloads.
Parallel functional language to program reactive systems and parallel algorithms using distributed memory. Extends Haskell, but overrules lazy evaluation whenever needed to support parallelism; gives enough control to implement parallel algorithms eff...